Paris Diderot University - PDFSEARCH.IO - Document Search Engine

Paris Diderot University
Results: 74

#	Item
21	A Correspondence between Full Normalization by Reduction and Full Normalization by Evaluation Olivier Danvy Aarhus University Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-09-22 07:44:48
22	Recursion Theory for Process Model Yuxi Fu BASICS, Shanghai Jiao Tong University Symposium in honour of Pierre-Louis Curien Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-09-20 10:04:02
23	Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech Department of Computer Science, Aarhus University, Denmark? Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-09-20 07:20:05
24	The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2011-11-28 12:39:22 Algebra Abstract algebra Mathematics Algebraic structures Semigroup theory Category theory Lattice theory Semigroup Monoid Kernel Semilattice Free monoid
25	Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-09-22 09:55:54
26	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2014-09-08 08:04:39 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
27	Reasoning About Pattern-Based XML Queries Am´elie Gheerbrant1, Leonid Libkin1, and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr - Date: 2014-11-10 14:14:40
28	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:40
29	Batched Bandit Problems Vianney Perchet, Philippe Rigollet, Sylvain Chassang, and Erik Snowberg, Univerist´e Paris Diderot, Massachusetts Institute of Technology, Princeton University, and California Institute of Techno Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2015-05-11 15:06:14
30	Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant, Leonid Libkin, and Juan Reutter School of Informatics, University of Edinburgh Abstract. Data trees serve as an abstrac Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:40

UPDATE